#ifndef TOP_BAR_WIDGET
#define TOP_BAR_WIDGET

#include "font/font.h"
#include "ui/ui.h"

widget_t* widget_os_top_bar_create(uint32_t x, uint32_t y, int height, argb_t color);

#endif // TOP_BAR_WIDGET